Grammar and Logical Types

نویسنده

  • Glyn Morrill
چکیده

This paper represents categorial grammar as an implicational type theory in the spirit of Girard's linear logic, and illustrates linguistic applications of a range of type-constructors over and above implication. The type theoretic perspective is concerned with a correspondence between the logic of types, and computational operations over the objects inhabiting types. In linguistic applications this correspondence is between rules of grammar which are theorems of type inference, and compositional operations in the various algebras in which linguistic objects, i.e. signs, are assumed to have dimensions: syntax, semantics, etc. Rule-to-rule description is familiar from Mon-tague Grammar, but the idea here is to classify signs with structured types satisfying universal type laws determined by the semantics of the type connectives, in contrast to classiication by categories satisfying stipulated rules. On this scheme an object language is to be speciied by a type assignment to its nite vocabulary: a formal grammar is just a lexicon, plus perhaps some improper type axioms, and a grammar formalism is just a metalanguage of types with its uniform logic and interpretation is each linguistic dimension. The aim is to develop a language of types which has suucient transparency, sensitivity, and generality to implement interesting descriptions of natural language. The paper will illustrate sentence grammar, and also use of the semantic term algebra as a functional programming language for presentation of lexical semantics.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Score Variation in Multiple-Choice Tests of Grammar: On the Effect of Gender and Stem Type

This paper examines the effect of gender and type of stem on Iranian test takers’ performance on the grammar section of a nation-wide language proficiency test. In so doing, the scores of 2931 examinees (1107 female and 1824 male) who sat Tarbiat Modares English proficiency test were obtained. The examinees’ scores on three types of MC grammar items with different kinds of stems (i.e., blank fi...

متن کامل

The Comparison of Typed and Handwritten Essays of Iranian EFL Students in terms of Length, Spelling, and Grammar

This study attempted to compare typed and handwritten essays of Iranian EFL students in terms of length, spelling, and grammar. To administer the study, the researchers utilized Alice Touch Typing Tutor software to select 15 upper intermediate students with higher ability to write two essays: one typed and the other handwritten. The students were both males and females between the ages of 22 to...

متن کامل

Elicitation, Recast, and Meta-Linguistic Feedback in Form-Focused Exchanges: Effects of Feedback Modality on Multimedia Grammar Instruction

This research explores the effects of three computer-mediated feedback modalities, that is, elicitation, recast, and meta-linguistics, on the learning of English participial, gerund, and infinitival phrases among Iranian intermediate-level EFL learners. The overriding focus of the present study was to investigate whether different types of feedback given through form-focused computer-human exch...

متن کامل

The Role of Textual vs. Compound Input Enhancement in Developing Grammar Ability

The present study investigated comparatively the impact of two types of input enhancement (i.e. textual vs. compound enhancement) on developing grammar ability in Iranian EFL setting. Sixty-five female secondary high school students were selected as a homogenous sample out of about a 100-member population based on Nelson language proficiency test. Then, their grammar ability was measured based ...

متن کامل

Polymorphism in English Logical Grammar

The quantifiers and connectives of English present difficulties to standard (Church-style) type theory in linguistics in that they can apply systematically to objects of different form. This paper sketches solutions to this problem with some extensions to the simply typed lambda calculus, including Damas-Milner types and System F or the polymorphic lambda calculus. The goal is to maintain the “...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1990